new properties of operations: prop_transform_compose_compat_l/r (not supported by TextOperation)
New operation type: Control.OperationalTransformation.List

The implementation is similar to the text operations and is based on the
verified https://github.com/Operational-Transformation/ot.v. Uses GHC
7.4.1's new DataKinds.