Fixtype of constants [C:6.4.4] [C:A.1.5].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to constant in the grammar in [C}.