Migrations and language or framework upgrades

Slice migrations into behavior-preserving steps and lean on tests, because the model handles syntax but misses semantics.