Dev. checkpoint: Touchups.
Added: spec for migrating up