added a file that can be used as a cKanren #lang, that provides some simple user-friendly error checks and miniKanren-friendly tracing (see ex.rkt).  useful README and code cleanup forthcoming