Fixtype of Syntheto type recursions.
This is a product type introduced by fty::defprod.
These serve to group mutually recursive type definitions.