Giving up for now.

The recursion on trans_unify is all wrong, but I don't see how to
fix it. Substitutions just aren't recursive in quite the right way.
I feel like I should seek advice from someone who has done something
like this before. Argh!