Have the evaluator use the Repl/State monad.