Auxiliary operations to compile additionally imported modules with the front end.
                compileImportedModule
                  ::  Int -> String -> IO ()  If a module is added as a new import to the transformed program, we have to compile it in order to avoid a compilation error of the front end, since the front end assumes,  | 
              
            
| 
                    
                     
                       If a module is added as a new import to the transformed program, we have to compile it in order to avoid a compilation error of the front end, since the front end assumes,  |