Corrects the header used to import RXTraversal.h.
Refillable traversals record the number of objects they have produced.
Rewrites interval traversals to use the new traversal mechanism.