WIP: Synthesis of entrypoints dispatcher
This work provides a syntax to automatically generate an entrypoint dispatcher. Along the way it introduces
- a more robust typechecking of the main entrypoint, ensuring coherent types for storage, parameters, and output of the main function.
- Quick and dirty prepocessing mechanism to have compilers filename and location in error messages.