Miscellaneous cleanups:

- Value of Unit is (), not {}
- Fix desugared pattern matching code
- Mention object-protected values
- Use uppercase type variables for Tuple/Function code
- Replace Application with App