Intro to Lambda-calculus - fixes