Make visitor the responsible for choosing traversal strategy
requested to merge santiago.ospina/dune-typetree:feature/visitor-responsible-for-traversal-strategy into master
- This changes the mode that traversal is chosen. Now it can be completely customized by the user when providing a visitor.
- It is backwards compatible. That is, previous algorithms conserve the same default traversal strategies as before.
Closes #4