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. In particular, we plan to add components for the formats of other integer types, which will make use of uinteger-bit-role and sinteger-bit-role.