Slightly better heuristic for resolving inequality with join()
Better heuristic for ArrayType.canBeCoerced()
Tests on typechecking errors updated
Rolled back bad dependency and rebuilt
Better heuristics for *.canBeCoerced()
Rolled back fix for MPS-18539 as it's been superceeded by other improvements
Better heuristics for CollectionType.canBeCoerced()
? super T <: T
Tests in collections updated
Restored order to the typesystem after 96932f0
Fixed constraints check errors
Updated model from solutions, rebuilt build
Rebuilt models
Merge remote-tracking branch 'origin/3.0/fisakov/typesystem' into MPS3.0
Made project MPS