- renames [eval_tlval] into [eval_term_as_lval], as it evaluates a term.
- renames [eval_thost_toffset] into [eval_tlval], as it evaluates a term_lval,
  and uses it instead of the previous [eval_tlval] when evaluating a term_lval.