Trying to get abstract semantics code-complete. In the middle of making a pure/impure dichotomy of expressions for faster evaluation in the pure case.
Realizing a parser is getting necessary. WIP.