Traversal primitives and operations for graph-like structures.