add back the HOLHEAP in translator
uncapitalise some loaded structs in ml_repl_stepScript.sml