Fixtype of pairs consisting of a name-value pair and a dynamic environment.
This is a product type introduced by fty::defprod.
These are used as (non-erroneous) results of executing struct component initializers.
