Modules in frege.java