isLooselyCompatibleWith

check if a descriptor is compatible with other, in the sense that the arguments are (possibly) supertypes