Sun Jan 3 21:13:12 CET 2010


The benefit of the ANF rep is that the only opcodes that create
continuation frames to support nexted evaluation are `let' and `seq'.

But currently the VM expects variables; constants (that also do not
require evaluation) are still buffered in variables.  Maybe the VM
should support constants directly.

If variables references can be represented in a separate type internal
to the VM, this can be simplified.