Fixtype of optional dynamic information about scopes of variables and constants.
This is a tagged union type, introduced by fty::deftagsum.
