Fixtype of implementation environments.
This is a product type introduced by fty::defprod.
For now this only contains a few components, but we plan to add more components.
Currently we include the format of the three character types, and the standard signed integer types and their unsigned counterparts. We still need to add constraints on the numbers of bits, and on the maximum and minimum values, of the non-character integer formats.