[Typing-sig] User-defined type guards