Parent: #335 Depends on: #338 Roadmap: #144, #134
Implement the next complete, bounded cell-rewrite slice for the small side-cell kinds whose marker coverage is already precise.
Acceptance:
- BoundFunction target, bound this, and every bound argument Value are rewritten.
- Module namespace environment entries are rewritten while arena-owned names, local-name slices, and deferred module metadata remain stable.
- Distinct-target regressions prove every slot changes through the forwarding plan.
- Focused normal and TSan runs report zero failures and leaks.
- Production movement remains disabled and #335 is updated.