update ml_repl_moduleScript.sml for CakeML chars