prove cheats in ml_repl_moduleScript.sml

about FMAP_TYPE_closed