backtracking atom unification
simple boolean unification