Initial commit of lambda calculus AV, exercises, and proficiency exercises
developed by Taylor Rydahl of UWO during the summer of 2014.   There is still
work to do on these, but it's time to get them to the repository.

TN