Full migrations for 4.14 <-> 5.0

Bare identity functions will end up in a mismatch between
installed OCaml 5.0 and Ast_500 module types.

With these full migrations, compilation passes again.

Author: laaksonel