支持 $O(\log n+m)$ 复杂度合并两个 DS。

支持 $O(\log n)$ 把一个 DS 按值域大小分裂成两个。

支持 $O(\log n)$ 插入一个新数。