Merge 'types.UnionType' with `typing._UnionGenericAlias`, not `typing.Union`

Bug report

I think #105499 was a mistake. types.UnionType was intentionally named so to avoid confusion with typing.Union (see #88895). types.UnionType should not be subscriptable because it is not generic type (and if it was a generic type, subscription would have different semantic than for typing.Union). types.UnionType corresponds to typing._UnionGenericAlias, not typing.Union (see https://github.com/python/cpython/issues/89581#issuecomment-1093932536).

So we should restore typing.Union, make typing._UnionGenericAlias an alias of types.UnionType, and make types.UnionType non-subscriptable again.

Linked PRs

• gh-137069
• gh-138967

まず issue から参照されている #105499、#88895、#89581 を読み、次に gh-137069 と gh-138967 にリンクされている作業を調べます。types.UnionType、typing.Union、typing._UnionGenericAlias の関係を追跡します。完了とは、意図された aliasing と subscript 不可の動作が復元され、関連するテストが通ることを意味します。