Change subtyping rule for replacement (? super A), MPS-18772
Use weak subtyping when testing for ClassifierType supertype, proper coersion guarantee