[Typing-sig] PEP 593: Flexible function and variable annotations