Updates to lambda calc proficiency exercises by Taylor Rydahl of UWO