Modules in frege.tools