[Typing-sig] Proposal for @typing.override