(WIP) updating HOL-->ML translator to work on cenv_close branch