Documentation of framework, constraint libraries is nonexistent or outdated

[calvis]

Pretty self explanatory.

[owickstrom]

Did you write any documentation for cKanren? I'm having a look at the 2011 paper, but not sure how much applies, and how to use it in the context of this Racket framework.

Thanks!