Instead of `Redactable`, which is not needed since we have an `LWWMap`, we use a new `Immutable` semilattice.
Alexis Sellier