CLP(Set) in miniKanren

A prototype of CLP(Set) in miniKanren.

Implemented the rewrite rules as described in Sets and Constraint Logic Programming by Dovier et al. The prototype is feature-complete wrt to the paper.

I also double-check the CLP(Set) tests by running them in {log}, a CLP(Set) implementation in Prolog.