Fixtype of statements [C:6.8] [C:A.2.3].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to statement in the grammar in [C].
We inline labeled-stament, expression-statement, selection-statement, iteration-statement, and jump-statement.
For labeled statements, we use label to factor the three kinds of labels.