Sketchmap is a monoid

By adding an Ordering constraint on the key, we can make sketchmap into a lawful monoid.