Fixtype of declarations [C:6.7] [C:A.2.2].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to declaration in the grammar in [C]. It is the top-level construct for declarations, and it is outside the mutual recursion exprs/decls.