meet.is_overlapping_types should be more relaxed for isinstance checks

Currently, the implementation of meet.is_overlapping_types(...) defaults to returning False when it encounters two unexpected types, and doesn't attempt to handle multiple inheritance at all. The current implementation also considers two types like List[A] and List[B] to be non-overlapping, even though they may overlap when both lists are empty.

This behavior makes sense when is_overlapping_types is used to detect unsafe overload variants, but may be too restrictive/cause branches to be unexpectedly unreachable when used for isinstance checks and if x is None checks and the like.

For more context, see https://github.com/python/mypy/pull/5476#discussion_r211030040 and https://github.com/python/mypy/issues/3603.

Some possible solutions include:

1. Add a flag that makes is_overlapping_types default to returning True, not False. The main disadvantage here is that this would then make is_overlapping_types consider two unrelated types like Type[A] and TypedDict[...] to be overlapping, which seems wrong.
2. Add a flag named allow_multiple_inheritance which makes the "if left and right are Instances" case just always return True. The main disadvantage here is that this may not capture every edge case we want to relax.

It may also be the case that neither solutions work and a more careful rearrangement of is_overlapping_types is necessary. The existing implementation of is_overlapping_types is designed to rule out bad combinations/normalize all types to Instance whenever possible, which may or may not be the correct thing to do for reachability checks.

Beginne mit dem Lesen der Implementierung von meet.is_overlapping_types sowie der Diskussion in PR 5476 und issue 3603. Vergleiche das aktuelle Verhalten bei unerwarteten Typen, Mehrfachvererbung und List[A] gegenüber List[B], und bestimme anschließend, welches Erreichbarkeitsverhalten beabsichtigt ist. Erledigt ist die Aufgabe, wenn ein Ansatz festgelegt wurde, der die isinstance- und None-Prüfungen lockert, ohne die Prüfungen zur Sicherheit von Overloads fälschlicherweise auszuweiten.