add

fun add(replica: ReplicaId, element: E): ORSet<E>

Add element on behalf of replica, minting a fresh dot. The new dot supersedes this element's prior dots locally; concurrent adds on other replicas still survive the merge.