Laws for PartialOrder and Order.

Added laws for PartialOrder and Order, along with a test on Int.

This can serve as a base to test partial orders on intervals, etc...