Refactorings

This goes with the comment below. Remove the second argument to `visit` (here) and plainly call `super.traverse` in `traverse` (below).