Make all predicates higher-ranked, not just trait references.