Make typing.pyi container types alias builtins/collections

[yangdanny97]

Since 3.9 is the minimum supported version (#12112), we could update these definitions in typing.pyi to be regular aliases since the builtin/collection versions support subscripting now.

Could this be done now? Or should we wait till april?

cc @ndmitchell

[JelleZijlstra]

They aren't aliases at runtime, so type checkers might want to treat list and typing.List differently in some circumstances. For example, type checkers might narrow on if type(x) is list, but it would be incorrect to narrow on if type(x) is List.

[AlexWaygood]

There are also other differences:

Python 3.11.4 (main, Sep 30 2023, 10:54:38) [GCC 11.4.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from typing import List
>>> List()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/data/user/0/ru.iiec.pydroid3/files/aarch64-linux-android/lib/python3.11/typing.py", line 1259, in __call__
    raise TypeError(f"Type {self._name} cannot be instantiated; "
TypeError: Type List cannot be instantiated; use list() instead
>>>

[github-actions]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

[ndmitchell]

Note that both mypy (https://mypy-play.net/?mypy=latest&python=3.12&gist=ba7076d187aa479fd3f065efa79d5654) and pyright (https://pyright-play.net/?pyrightVersion=1.1.374&code=GYJw9gtgBALgngBwJYDsDmUkQWEMogCmAboQIYA2A%2BvAoQDRQAySAzjIwIIpwBQvAE0LAowABQAPAFxRucAJRTeUFZhG1Ck%2BZlbM2MJaqMES5ahq28gA) narrow on if type(x) is List. Mypy lets you write List(), while Pyright doesn't.

[AlexWaygood]

Nonetheless, I'm pretty sure that mypy does differentiate between list and List in some places. And I'd prefer to have precise stubs here so that we can differentiate between the two symbols in red-knot, too