This is a product type, introduced by fty::deftagsum in support of expression.
The following invariant is enforced on the fields:
(type-namedp type)