Refactor instances of SupertypeTest with ExtendedSupertypeTest.
Change semantics of SupertypeTest to language supertype test