Identifiers

Identifiers are tokens used to form names. They fall into two categories: