Wingman doesn't use equality constraints

[isovector]

#1517 and #1549 enhanced Wingman's ability to collect evidence. For classes, this evidence is correctly synthesized into a hypothesis. But for equality constraints, instead this evidence should be interpreted into a starting TCvSubst