Added sections for exported identifiers and uniqueness of identifers to
Language Spec.