module resolver quite integrated
excluded literal types from module normalization (-> typecheck for HelloWorldPrelude works! :))