fix translator for refactor in HOL
looking at evaluating the compiler

EVAL appears to be doing a lot of copying, which is probably the main
source of slowdown, and is probably due to traversing or building up too
large terms (hopefully unnecessarily).
Merge remote-tracking branch 'origin/master' into fix_elab