SweetLambda

Sugared lambda-calculus(?).