Add details to Church's lambda calculus
Fixes according to instructor's advice