Corrections to partial order implementation:
- removed optional comparison operators (they are not used in the mathematical literature, and it is not necessary to burden Spire with additional operators),
- renomed doubleCompare to partialCompare,
- added laws for PartialOrder and Order.