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