Wed Apr 22 15:09:41 CEST 2009

then <-> declarative macros

"then" is a problem because it uses a plug-in optimization: macros
defined in terms of "then" in the lower language layers will not
change behaviour.

this is a point where we have to give up flexibility due to absence of

        hook = hole in module

this needs to be solved later when i do have a way to put holes in
modules.  but overall it's probably best to stick to a more static
bottom-up code structure.

in general: hooks in functional programming can usually be solved with
higher order functions (create holes with lambda).  i can probably do
the same here too.

EDIT: it's worse than that.  "label:" and "sym" have the same
problem.  Looks like it's time for a unit.