Fixtype of external declarations [C:6.9] [C:A.2.4].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to external-declaration in the grammar in [C].