Test case for overwrite protection
Operator overwrite protection
Move all module-related stuff to modules.rkt