Update PLAI-Lecture1-LambdaCalc.rkt