3.0.1.5: Move TRAVERSE to backward-interface. Tweak convenience method generation.