Simply typed λ calculus

Alright, here goes.