Creates a function that takes as many arguments as given ids, and whose body is expr.
The Greek letter λ is a synonym for lambda.