Added last lambda calculus exercise.