Fixtype of validation information for type names.
This is a product type introduced by fty::defprod.
This is the type of the annotations that the validator adds to type names, i.e. the tyname fixtype. The information for a type name consists of its denoted type.