Wingman: Don't count it as using a term if you only destruct it

[isovector]

Wingman stupidly pats itself on the back for destructing irrelevant terms. Instead, we now count usage only when you use it to construct a term, and transitively "use" all parents that helped produce the thing you're using.

Fixes #1467