1 This section describes the types in the language and the rules for declaring constants, variables, and named numbers.