[Typing-sig] Re: Heterogeneous, mutable, type-safe mapping