Fixtype of declarations or (expression) statements.
This is a tagged union type, introduced by fty::deftagsum.