Added a Types section to the Language Spec. More work will follow.