Sat Aug 29 14:15:06 CEST 2009

Linear `compile'

Now, because `compile' can't introduce any non-linearities, it could
be made to produce a linear code representation.  Only when code
enters the _dictionary_ need it become non-linear: since then it has
become random-access and there are no more guarantees about how it is

Let's split this up in `compile-datum' and `map'.