An evaluator for simply-typed lambda calculus.