Added QueryVariable to unifiable variables.
Remove nil unification results.
Attempting to getUnifiers when there is no DistNodes doesn't crash now.
Now builds channels for unified terms.