Traverse

Two-step traversal. Evaluates `traverseSource` to get a starting subject; reads `through` to get one or more intermediate subjects; evaluates `step` once per intermediate with the intermediate bound as `input`. Returns the concatenated step results.