- EXPERIMENTAL: incremental relation (to replace treapmap)