Comments.
Improved unification of anonymous variable.
Unification of X -> _ will now really bind X to the anonymous variable (instead of doing nothing).
Handing of binding the anonymous var into UnifyStateByLookup.bind()