muKanren: Extract reify-var from reify-state:1st-var.
muKanren: Clean up case-inf. Replace closures with delays.
cKanren: Add mplus* and bind*; rewrite conde and fresh with them.
goals: Add fail.
Remove pair?
Add more examples to demo.clj.
Finish rKanren.