Traversals module, add two remaining Type traversals.