Small edits to the Language Spec.
Added a rough (and unfinished) draft of the Types section.