Convince stepper to play well with sort-checked racket grammar.
In retrospect, adding identity transformations for each node was a bad
idea: it introduced vast tagging overhead.
Fortunately this could be fixed *entirely within* the grammar file.