Simple implementation of simply typed pure lambda calculus.