Fixed some bugs, realised that the metacircular evaluator was failing
because of let bindings not being evaluated completely. Fixed the let
bindings. Problems still exist.