avoid infix clash at 750 in examples/unification

(Commit eadd8e1 introduced a constant at Infixr 750.)