Monadic evaluator.
eval no longer takes an environment as argument.
fixed Main to match API changes.
Smaller qualified import names in Interpreter.