renaming
decided to implement exceptions with a monad transformer instead fo continuations
multiple commands in interpreter
tidied up/expanded evaluator