Fix lambda-calculus example according to the revised syntax