Compiler: added missing mli files (2/2)