Add typing to 3.11 What's New

[JelleZijlstra]

I promised somewhere to write the typing section of the 3.11 What's New.

Here's what needs to be covered:

• PEP 646 (TypeVarTuple, Unpack)
• PEP 655 (Required/NotRequired)
• PEP 673 (Self)
• PEP 675 (LiteralString)
• (if accepted) PEP 681 (dataclass_transform)
• typing.reveal_type()
• typing.Never
• typing.assert_never()
• typing.assert_type()
• Improved introspection: @Final, @overload
• Runtime changes: bpo-44807: Allow Protocol classes to define __init__ #31628, bpo-46998: Allow subclassing Any at runtime #31841, bpo-46981: Remove typing._TypingEmpty #31836, bpo-46644: Remove callable() requirement from typing._type_check #31151, bpo-41370: Evaluate strings as forward refs in PEP 585 generics #30900, bpo-46195: Do not add Optional in get_type_hints #30304, bpo-46571: improve typing.no_type_check to skip foreign objects #31042, bpo-46066: Deprecate kwargs syntax for TypedDict definitions #31126, bpo-46655: allow stringized TypeAlias with get_type_hints #31156, bpo-46553: allow bare typing.ClassVar annotations #30983 and probably others

[AlexWaygood]

If #32335 is merged before the feature freeze, it might need a mention in the "new modules" section.