Flatten cont and state
Fix parse-pair bug
Rename var to bound

Use of 'var' in pattern matches was really painful to debug.  Apparently
Racket has reserved this symbol to match anything.
Add denotational interpretation

Interpretation of a term is split into two phases:
 * transformation of term into Racket closure
 * application of closure to (initial) environment