Add migration type class

[johnhungerford]

• Replace Isomorphism implementation with migration, and then derive isomorphism from dual migrations
• Create Filter type class for fields to allow migrating to smaller types and for subtypes to allow migrating to larger types
• Create Align type class for fields and subtypes to allow migrating to differently ordered types

[johnhungerford]

closed with #100