This will eventually deal with splats in traversals, but isn't yet properly implemented.
Traversals are a generalized way to talk about paths taken from the scope and from arbitrary values. These will be used for various analysis tasks, such as determining what needs to be placed into a scope.