clojure.core.logic.nominal.Tie can be implemented as a record