A simple lambda-calculus evaluator (tart module)