SweetLambda
Sugared
lambda-calculus
(?).