Finished Intro to Lambda Calculus