Fixtype of type names [C:6.7.7] [C:A.2.2].
This is a product type introduced by fty::defprod.
This corresponds to type-name in the grammar in [C].