Added the CommutativeMonoid class at the root of the Cancellative classes.
Added more instances for unit ().