[Typing-sig] Re: Literals in dynamic type checking