Add `Laws` definitions for type classes in module [`Data.Monoid.Factorial`](https://hackage.haskell.org/package/monoid-subclasses/docs/Data-Monoid-Factorial.html).
Add
Lawsdefinitions for type classes in moduleData.Monoid.Factorial.