[Typing-sig] Syntax for TypeVars with bounds