Build traversal from getAll/setAll #51

This is the "Traversal from getAll/setAll" constructor that I was talking about in #51. Also included are a SimpleTraversal constructor and a check that the traversal laws hold.