wip adding inversion of LF terms.
Fix term_to_string
Testing the translation at the OCaml level