Finish migrating defuns.