Replicated Convergent Datatypes (RCDs) based on Operational Transformation