DomainLiteral:
| "Anything"
| "Values"
| "Domains"
| "Void"
| "NothingDomain"
| "Booleans"
| "Strings"
| "Symbols"
| "Collections"
| "Lists"
| "Dictionaries"
| "Sequences"
| "Tuples"
| "Sets"
| "Functions"
| "Predicates"
| "LogicOperators"
| "RelationalOperators"
| "NumericFunctions"
| "RealFunctions"
| "Numbers"
| "ComplexNumbers"
| "ExtendedRealNumbers"
| "ImaginaryNumbers"
| "Integers"
| "Rationals"
| "PositiveNumbers"
| "PositiveIntegers"
| "NegativeNumbers"
| "NegativeIntegers"
| "NonNegativeNumbers"
| "NonNegativeIntegers"
| "NonPositiveNumbers"
| "NonPositiveIntegers"
| "ExtendedComplexNumbers"
| "TranscendentalNumbers"
| "AlgebraicNumbers"
| "RationalNumbers"
| "RealNumbers"