Keywords

A keyword is a word that is reserved by the Intent language. Keywords may not be used as identifiers.

Type names are not keywords; they are identifiers. Identifiers can be used in other ways, such as names of rules, designs or functions.