Added an exercise on lambda calculus