It should be possible to change the primary key during a migration using the usual property accessors. At the moment the “Once set, primary key properties may not be modified” exception is raised, and one needs to use the dynamic api to go around this.