Adding the first few paragraphs about types in Coral to the Coral Language Specification

Will refer to the specification as CLS from now on.