Sat Aug 1 02:59:38 EDT 2015

Next: fish out state

In order to "fork" a compilation to compile a separate code body, the
state needs to be recovered.  This is done by passing it to the
"return" continuation, tagging the "Return" constructor.

However, this is nested deep into the data structure.  Fish that State
constructor out.