[Typing-sig] Type narrowing for TypeGuard in the negative case