True any type associated with the name subType is transitively a subtype of any type associated with the name superType
if subType or superType is not in the type schema..