New GHC Extension, -XOverloadedApplication

Ideally, we could tweak GHC to make a few changes that support CodeWorld's dialect of Haskell:
1. `NoCurriedOperators`: The expression `x + y` should desugar to `(+)(x, y)` instead of `(+) x y`. Operator sections remain unchanged.
2. `ApplicationRequiresParentheses`: Makes it an error to write `f x`, requiring `f(x)` instead. Tuples should not require additional parentheses. Also pretty-prints error messages as `f(x)` instead of `f x` or `f (x)`, and disables the logic that uses phrases like "in the first parameter" in error messages.