Function application
Application consists of applying this function given values for the arguments
We show this by listing the values after the lambda expression
- (?x,y ?x+y) 5 6
- (?x,y ?if x > y then x else y) 5 6
- (?x ?if x > 0 then 1 else if x < 0 then -1 else 0) -9