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