Use discriminant subtype constraints in derivation
The compiler now takes into account the subtype constraints added by renaming discriminants in the derivation of untagged discriminated types to determine the size of mutable objects of the derived types.