Refactor the CRDT part out of Bender