Remove superfluous Ord constraints.

These are implied already by the 'IsIndexOf' constraints.