document unification of CLP(B) variables