Pure lambda calculus part of Chapter 5.
Added some combinators with nums, bools. Fixed λc grammar.