- renamed Traversal to Path
- added 4 types of arity and their multiplication
- added conversion of the internat container (List for now) to one that corresponds to the out-arity
- WIP: test