[Typing-sig] Spelling the type of a runtime type annotation object