rKanren: Simplify run*.
rKanren: simplify fresh.
cKanren: Simplify lvars.