Modules in frege.ide