Fixtype of possibly ambiguous declarations or statements.
This is a tagged union type, introduced by fty::deftagsum.
This is similar to amb?-expr/tyname and amb?-declor/absdeclor. It captures the possibilities of a declaration, an (expression) statement, or an ambiguous declaration or statements.