Refactoring TypeUnifier: remove redundant TypeVarState, check type equality before IsSubtype call.
Refactoring TypeUnifier: remove redundant TypeVarState, check type equality before IsSubtype call.

rsdn/nitra,JetBrains/Nitra,rsdn/nitra,JetBrains/Nitra