CHOOSE proposals for Type Safe Constants

CHOOSE:NOCHOICE

No syntax changes

No syntax changes

SUBTOKEN: SCHOOLS (altered by this proposal, no argument version is deprecated)

CHOOSE:SCHOOLS|x|x

x is a PRIMITIVE

A PRIMITIVE is an identifier of objects, and may include any number of specifications.

In the case of SCHOOLS objects, the only valid PRIMITIVES are the four global PRIMITIVES:

x = a School (Abjuration, Evocation, etc.)
x = ALL (allow the choice of any SCHOOL)

CHOOSE:SCHOOLS becomes CHOOSE:SCHOOLS|ALL