Fixtype of translation units [C:6.9].
This is a product type introduced by fty::defprod.
This consists of a list of external declarations (which should be non-empty according to the grammar in [C], but we will capture this constraint later or elsewhere). We create this one-field product fixtype so that in the future it may be easier to extend this fixtype with more information if needed.