Added a binder name capture during hashconsing phase
This way, we can get a list with binders name, and browse the hterm in a prefix
order to recover the binders' name and recreate a term_dag