Improved the Where<Type> traversal function (Fixes #18).

All 571u tests pass.