Embrace | for union of types

[pradyunsg]

Now Python 3.7 is the minimum, instead of:

from typing import Union
a: Union[int, str]

You can use the more concise (PEP 604):

from __future__ import annotations
a: int | str

Similarly, you can use dict and list instead of typing.Dict and typing.List etc:

https://www.python.org/dev/peps/pep-0585/#implementation

Originally posted by @hugovk in #10703 (comment)

[uranusjr]

I’m kind of hesitant of using from __future__ import annotations. It’s probably not going to break (because too many others are already depending on it), but still...

[pfmoore]

I'd prefer to hold of on using from __future__ import annotations until the SC has made a decision on the relevant PEPs here.