Other misc changes
- Avoid temporary composite mapper allocations in the checker’s object type instantiation path (#4798) (
5b1047d). - Added a helper to map a type through two mappers without eagerly combining them, preserving behavior while cutting intermediate work.