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.