Update 04_lambda_calculus.md