Extended CRDT API to AWORSet, improved RWORSet dialyze warnings