`TypeMap`: Generalizing `overload` semantics

Typing
2

(This is a follow-up/alternative to this proposal for associated types.)