First version of simply typed lambda calculus
Add let rec
Add Church numerals in typed lambda calculus. Pred now seems impossible (doesn't work in OCaml either)