Adding lambda calculus materials developed by Taylor Rydahl to UWO Materials Book