Factor module search out into Module module
Rename Evaluator monad to Interpreter
Rename Environment to InterpreterState