Wed Dec 13 03:23:15 CET 2006

check travel notes

the basic ideas where to use the type bits in atoms also for code

(1) use a 'return' bit embedded in the atom. the bit indicates that
    after executing the atom, the code following this atom will be
    ignored, and the interpreter returns to the previous context.

(2) highlevel functions are just atom pointers: arbitrary lists can
    contain code. atom pointers can occur in 2 forms: quoted (as data)
    they are just loaded on the data stack or executable.

(3) lowlevel functions are just void pointers. they can also have an
    executable bit.

the first one really simplifies tail recursion. the other two will
eliminate probably all words that look ahead in the stream. (is this
really true? jumps: literal followed by conditional execution.)