Update lambda-calculus.rkt