Create distinct types for a PolyTraitRef (with bindings) and a normal TraitRef.