Add syntactic sugar for multi-arg functions.
Add syntactic sugar for multi-arg functions.

`
(fun (x:int) (y:int) -> x)

is equivalent to

(fun (x:int) -> fun (y:int) -> x)
`

jgardella/AuditedComputation