fix varBind, unionSubsts helper
various corrections in unification, Apply instance of Query
Eq instances
depth-first search