[Typing-sig] Cleaner Syntax (was Proposal: Literal types)