Typechecks the simply typed lambda calculus
Evaluates the simply typed lambda calculus
Allows unbound variables