Wingman shouldn't suggest destruct actions for things that are already destructed

[isovector]

Related to #1704, if we had a consistent hypothesis throughout a definition, Wingman could notice that there is already provenance from a given value. Therefore, it must have already been destructed, and we shouldn't suggest it. That would clean up a lot of the spurious suggestions.