Just tried that, but it turns out that the variables are the gensymed ones at this point. Might work out if I use `Poly-names:` elsewhere, so I'll do that in a follow-up commit.