clojure.core.logic.nominal.Tie can be implemented as a record
Merge branch 'master' into entanglement