This class implements the traversers for DTMDefaultBase.
PLEASE NOTE that the public interface for all traversers should be
in terms of DTM Node Handles... but they may use the internal node
identity indices within their logic, for efficiency's sake. Be very
careful to avoid confusing these when maintaining this code.