Add term: let rec f = t in t
Add an example for the new construct let rec in
Clean Backend.env_append
TODO