Major rewrite to "Type System" section

This version now reflects the latest ideas for the type system, and
they should be stable.
Finished "Type System" section.
Minor correction to type parameters section