Mark 3.13 PEPs as Final #3781

Here's the accepted PEPs targeting 3.13 which I think made the beta feature freeze:

• PEP-667 Consistent views of namespaces @markshannon @gaogaotiantian PEP 667: Mark as Final #3942
• PEP-696 Type Defaults for Type Parameters @Gobot1234 PEP 696: Mark as Final #3941
• PEP-702 Marking deprecations using the type system @JelleZijlstra PEP 702: Mark as Final #3940
• PEP-705 TypedDict: Read-only items @alicederyn PEP 705: Mark as Final #3938
• PEP-742 Narrowing types with TypeIs @JelleZijlstra PEP 742: Mark as Final #3937

Please can the authors check the "Mark as Final" checklist then open PRs to update the status here? Thank you!

The other accepted PEPs targeting 3.13:

• PEP-649 Deferred Evaluation Of Annotations Using Descriptors: will likely done for 3.14 instead
• PEP-703 Making the Global Interpreter Lock Optional in CPython: this is a multi-Python version PEP, it'll be several releases before it can be marked as final. Perhaps we'll retarget it at 3.14 etc as we go, or leave it as 3.13 when work began.
• PEP-738 Adding Android as a supported platform: I think this is mostly there except for some CI things, so hopefully it will still make 3.13. Edit: made it! PEP 738: Mark as Final #3982

See also:

• Mark remaining completed PEPs as Final #2872
• Typing PEPs: Link to the typing spec as canonical documentation #3579
• Mark 3.12 PEPs as Final #3817