[Typing-sig] Re: Syntax for TypeVars with bounds