[cleanup] Remove (Dynamic|Static)Traversal base classes
These are no longer needed, because dune-typetree will always build a static tree path of type HabridTreePath.
These are no longer needed, because dune-typetree will always build a static tree path of type HabridTreePath.