Fixtype of errors and lists of dynamic information about scopes of variables and constants.
This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.
