Always freeze type variables that were previously freshen (#8075)
Fixes https://github.com/python/mypy/issues/8072
The fix is straightforward, just copy the logic from the working case (see last test) to two other code paths. Note that only two first cases I added crash on master, but I also add the last one for completeness because I didn't find a similar existing test case.
