1Check for isStructurallyModifiable. 2 3Ensures that types being not-modifiable makes their supertypes not-modifiable. 4