Define a format to import checked modules

[kyouko-taiga]

We need a format to store/load modules that have been type checked, so that we don't have to recompile every sources.

That format should probably include the typed AST of the module's public API and its IR. Then importing a module would consist of injecting the AST in the program under compilation and merge its IR functions.