Module implement partially-persistent ordered-map, slower but concurrent.
Partially persistent ordered-map type using left-leaning-red-black tree.