repl translates into a module: module_thm in sideTheory