Define an environment-based frame stack semantics #50
Description
To improve on the performance of our reference interpreter for Core Erlang, we have to optimise substitutions. The most promising was to do this is to eliminate substitutions, and expressing bindings with an environment.