(defn distinct
"A finite domain constraint that will guarantee that
all vars that occur in v* will be unified with unique
values. v* need not be ground. Any vars in v* should
eventually be given a domain."
[v*]
(cgoal (distinctc v*)))