Simplification: cutting down on SplayTree's `add` and `remove` complexity.