Documented Ordering and added example for OrderingMonoid