Don't build in unification

Here's something to think about.
Thoughts on variables

I really think that logic variables an a specific instance of a more
general idea.  I really want the ability to work with other instances if
that proves productive.