move simpler unifier code out

Put simple unifier code into its own namespace. `unifier` and its supporting
fns renamed to `unify` and `binding-map` and its supporting fns
renamed to `unifier`. This naming convention better reflects what they
do.

Update tests.