If id is an identifier, T a type, and C a constant expression, then:
    CONST id: T = C
declares id as a constant with the type T and the value
of C. The ":  T" can be omitted, in which case the type
of id is the type of C. If T is present it must
contain C.