prove more closed-related cheats

but kind of stuck now because I haven't figured out the type system for modules