Add syntactic sugar « λ (x : Int) (y : Int) -> » equivalent to « λ (x : Int) -> λ (y : Int) -> »
Add syntactic sugar « let f (x : Int) (y : Int) = » equivalent to « let f = λ (x : Int) (y : Int) -> »
Extend the syntactic sugar to type abstractions
Update tests to use syntactic sugars