Provide better support for mismatched versions during migrations

[dimitribouniol]

trafficstars

ie. offer to manually migrate from a known old version type to a new one. This can be useful if the version was initially an Int, but became a String down the line. Currently, the only way around this would be to have an initializer for the old representation in the new type than evaluates to some deprecated, low-sorting version.