Just store the dot against the element, not a "birthdate" clock
The map now uses the tombstoneless set for keys

Add todo for optimised merge