Qualified Pervasives.compare in Ord

Because when the annotated type is just 't' the comparison function is named 'compare' and captures what should be Pervasives.compare in its body. We need hygiene.