Change subtyping rule for replacement (? super A), MPS-18772
Use weak subtyping when testing for ClassifierType supertype, proper coersion guarantee
Merge remote-tracking branch 'origin/MPS3.0'