termination proof for ov_to_string
update some generated scripts for latest version of lem

lem now doesn't add defns with termination conditions to the compset
update repl_fun EVAL example

now it doesn't have the termination conditions attached, and also
figured out how to make it print numbers. only remaining problem is the
wfs condition for unification.