Added a rough Type Declarations section to the Language Spec.
Continued work on the Types section in the Language Spec.

This section is still not even close to done; it is still missing some
key subsections, and the sections that are there are not finished
either.