Add downward migrations to the library.