[Typing-sig] Opened and changed typing issues week 2023-W37