Add 'contextInvariant' to StructureDefinition, make sure it's only used on StructureDefinitions defining types (including extensions) and let it contain a fluentpath expression that must be true in order for that extension to be allowed in an instance that claims conformance to that StructureDefinition.