Creates a function that takes as many arguments as given ids, and whose body is expr.

The Greek letter λ is a synonym for lambda.