MPS-19342 - checking for TypeVariableReferences, resolving the loose type, a test case added
MPS-19342 - checking for TypeVariableReferences, resolving the loose type, a test case added
MPS-19350 - added a check to detect infinite loops
Migrations - Specify Rule Reference run on the recent tests
MPS-19350 - handled the recursive bound type-parameter case in isSubsetOf()
Removed unused generics from the sample class