Add AppliedTraversal and Traversal constructor from Traverse