Fixtype of block items [C:6.8.2] [C:A.2.3].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to block-item in the grammar in [C].
We also include a case for an ambiguous declaration or statement; see amb-decl/stmt.
