Allow traversal starting from a path (not necessarily the root).

When you already have a path that you want to traverse, there's no sense
starting a new traversal with path.value as the root, because that discards
the precious information contained by the path.