Wed May 8 11:26:16 EDT 2019


One of the central ideas in the previous section is to simplify by
abstracting away the context.  This will require some support for
higher order functions in the representation, which will mostly be
just arrays defined at particular levels.

This will be simple nesting without context escapes, so there should
be no generic lambda+app that can take a context and "move" it
somewhere else.

EDIT: But still, if the interface to this mechanism is still just
lambda, then the capturing and application need to somehow be

Maybe in first iteration, an explicit approach is better?  I.e. an
environment is an explicit collection of arrays?