A few bugfixes for PartialOrder, and update of documentation

Clarified semantics of PartialOrder.partialCompare to return -1.0, 0.0, 1.0 or NaN, not just any negative, zero, positive number.

Updated documentation, as per #282.