[Typing-sig] Typing of sentinel objects