The original microKanren is pretty clear; the one struggle I had with the paper was some of the variable names were a little too "cute": e.g. `s/c` all over the

The original microKanren is pretty clear; the one struggle I had with the paper was some of the variable names were a little too "cute": e.g. `s/c` all over the place; I assume this was a contraction for "substitution/counter" (i.e. the state) which is what I expanded it to. Super terse variable names are difficult for me to grok when I'm looking at something new. I did hew to the standard convention of representing a type environment with Γ (Gamma); hopefully that's not too confusing for people looking at the type checker. :)