added note about cons implementation of unify