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