Ord instance for Intensional intervals.