Fixtype of labels [C:6.8.1] [C:A.2.3].
This is a tagged union type, introduced by fty::deftagsum.
This does not directly correspond to any nonterminal in the grammar in [C],
but it captures the three initial portions of
the grammar rule for labeled-statement.
There are three possible kinds of labels:
names (identifiers),
constant expressions in