scraps
Moved substitution code into a class.

I'm still happy to this day that you can subclass builtins like that.
Now we have a dict subclass that acts as a substitution for unification.