Finishing of the monoid laws.
Adding package 0.1.6