[spec] Overload processing order

It's my understanding that overloads are processed in order. I.e. given the following overloads:

@overload
def foo(x: int) -> None: ...
@overload
def foo(x: int | str) -> None: ...
@overload
def foo(x: str) -> None: ...

When called with an int, the first overload is matched, when called with a str, the second is matched. The third is never matched. (Not going into what happens when called with int | str.) Currently, this behavior is not mentioned in the spec.

Beginne damit, den Abschnitt der typing specification zu finden, der die Auflösung von Overloads beschreibt, und vergleiche seine aktuelle Formulierung mit den reihenfolgeabhängigen Beispielen im Issue. Die Arbeit ist abgeschlossen, wenn die specification klar festhält, wie Overloads der Reihenfolge nach verarbeitet werden, und die gezeigten int- und str-Fälle erklärt.