Interpreter for an ML-like language.