Transferred init, prettyprint, migration. They don't work properly yet.