Scheme: An Interpreter for Extended Lambda Calculus/Section 2

