Adding simply typed lambda calculus typechecker from Ulf's tutorial.