Function orderLaws

Test typeclass laws for Order.