Implementation plan and status

This completed RFD describes a historical intermediate representation. The mutable-entry mechanism it introduced has since been removed by crates.sage_stash.storage.immutable_entries, and current expansion follows the module-expansion architecture.