remove altBigStep from translator/repl/Holmakefile
use init_infer_decls constant in repl_funScript.sml