Working through a text on lambda calculus