Simplification of code.
I think the old traverser code was correct, but it took me a lot of time to convince myself that the oddities are not harmful.
e.g. the root bookmark is added twice to the stack.

This works, because root.next(root) returns KBookmark().

So yeah, rewrite that to be readable.