Tue Aug 7 11:54:47 CEST 2007
state lifting works
now i need to think about some proper abstraction names, so the
'compositions' declarations look nice and readable.
maybe it's best to standardize on the following syntax:
(syntax (dst ...)
(src ...) ...)
* 'syntax' refers to the macro used to compile the body of the
code. this is actually a compiler which needs source semantics.
* '(src ...) ...' are the namespaces representing the source semantics
used by the compiler.
* '(dst ...)' is the namespace used to store the resulting code