I'm not sure this is right. This whole function was copied from go/types with some tweaks to remove things like parameter names, which we don't want to compare when checking type equality. In otherwords, type string equality needs to be equivalent to the type equality.