Updated with notes taken in class

For lect08.scm from Thursday - Added in a couple of comments and included some notes from class on how to test if our system is manipulating the expressions properly. 

For lect07.scm, fixed some errors in the comments for Church encoded numbers (Sarah Quigley 11335511)