Expose heavyHittersMapping in SketchMapMonoid1

I found this is actually useful and its consistent with the exposure of heavyHitters.