Simplification: `SplayTree` now and `farthest` to simplify `first` and `last`. Also has `emptyGuard`.