s/Traverser/Enumerator/
Bunch more docs and more separating of interfaces.
Be strict about atomic interfaces being atomic.
Atomic interfaces for mutators + other small bits.