append walk*, checked unify, reify and ==