repl_fun_alt_proof works again
build_exh_env now translates
now pat_fo translates, silly definition...
type inferencer almost translates, parser doesn't
use THEN to get file to compile
x86-64 Holmakefile cleaned
x64_heap builds, 50 % commented out
uncommenting a bit of x64_heap
generation of Dtype now gets fun-type right
small speed up for case-of translation
moved bc_num, num_bc to bytecodeExtraScript
uncomment x64_heap further
uncommenting more x64_heapScript
bug fix: avoid duplicate cons names
real_inst_length def avoids ARB
attach comments to cheats
translator is now quieter
repl_step builds (with cheats for compile_primitives)
Merge remote-tracking branch 'origin/master' into conLang_wip