Tweaks to traversal, shift IRGen to traversal.