Type narrowing order of generics and non-generics

[falsandtru]

Currently, instance operator narrowing order is left to right and non-generics to generics, but should not have order of non-generics to generics. Narrowing order should only depend definition order in union types.

class A<T> {
    prop: T;
}
class B<T> extends A<T> {
}
class C extends A<any> {
}

var ab: A<string> | B<string>;
if (ab instanceof A) {
    ab; // A<string>
}
var ba: B<string> | A<string>;
if (ba instanceof A) {
    ba; // B<string>
}
var ca: C | A<string>;
if (ca instanceof A) {
    ca; // C
}
var ac: A<string> | C;
if (ac instanceof A) {
    ac; // C, should be A<string>
}

Note: TypeScript should provide the way that select the most closest type by definition order in union types for alternate method of pattern matching.

derived from #6589

[falsandtru]

This order may depend abstraction level, not generics or non-generics.