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