Data type usable in differential dataflow.
Most differential dataflow operators require the ability to cancel corresponding updates, and the
way that they do this is by putting the data in a canonical form. The
Ord trait allows us to sort
the data, at which point we can consolidate updates for equivalent records.