[pitch] Eliminate the "T1 -> T2" syntax, require "(T1) -> T2"

Evolution Pitches
1

I don't see any advantage of requiring parenthesis. I think programmers should be allowed to write (Int) -> Int, and they should also be allowed to write Int -> Int.

-Michael