[Typing-sig] Typing objects in interdependent modules