revise the Binder/Name dance

Now the Binder carries the user-given names, this makes things a bit
less icky.