define list of binders in an exp, attempt to connect to intlang

but failed: the translation into the intermediate language introduces
new "fresh" variables, but these are only fresh for their scope, not
globally fresh, so we won't necessarily preserve the property of having
distinct names everywhere...

this kind of thing is probably going to keep happening: it makes me want
to retry the attempt to use deBruijn indices in the intermediate
language.