renames module to theory-script