ClaferEnv contains imported envs, desugar imports to IModules, dummy imports map + HTML, Graph,