Addimg some comments.
Separating the notion of a node being visited from it having known elements.
Simplifying expansion logic in StratifiedBackward and enabling efficient diffed expansion for all rules.