Traversal tool generates pointless identity traversals

[adamgundry]

The Traversal tool generates traversals of the form traverseFooBar where Foo is a type that occurs nested within Bar. But it also generates and uses identity traversals traverseFooFoo, which is a bit stupid.