- Custom pattern matching through unapply functions.
- TypeParameter now has private constructor, can only be created
  with TypeParameter.fresh or _.freshen
- Stricter type checking for expressions. Correct various type errors.
- Remove some redundant code.