convergent data types based on operational transformation