Simplification: `SortedMapIterator` now has `pairGuard` to simplify type checking.