Been thinking about this, and the "correct" way to solve it

So, before, we set the existing subst to not ambiguous when we encounter a new non-ambiguous subst. But showed in the issue, this could have caused a panic (or maybe bad logic) because the way it was handled, we assumed elsewhere that that was a "new" answer