Started a section on the lambda calculus.