Remove unused 'Named' constructor of 'Type'.
Require type annotations on definitions.
WIP Upgrade surface syntax.

Done:

 - Parse parenthesized expressions as infix.

 - Allow fixity declarations for user-defined operators.

 - Assume user-defined operators are infix, left-associative, and have
   precedence 6.

 - Update examples and tests to use infix generally.

 - Parse a parenthesized operator as postfix.

 - Start making the prelude non-special.

To do:

 - Make infix the default.

 - Enforce that precedence is from 1 to 9.

 - Enforce no duplicate/conflicting operator declarations.

 - Give all prefix and postfix operators the same precedence.

 - Change "-> { x y ... }" syntax to "->(x, y, ...)".

 - Add semicolon pseudo-operator.

 - Kill the backslash syntax and parse mixfix functions.

 - Finish making the prelude non-special.