Factor as much logic as possible into SketchmapMonoid1

This commit factors the implementation into the Monoid. This allows only
the Monoid to be concerned with the sketchmap parameters. This also
follows the create-in-the-Monoid pattern as in HyperLogLog.

The assumption being that parameterization should be in the objects, not
the typeclass. Also add some safety to the type class.