rcase-NameAndTypeOK.6: The disallowed substitutions for element 'aa....aa' are not a superset of those in the base.

The element aa....aa has a type that is not derived from the type of the base element.