Mergeable_vector
Mergeable vector based on operational transformation