changed mK, placing base microKanren in there to start from the bottom.
reclaim numbers for uk by placing things in boxes.
added take-all and run*, removed some extra stuff I didn't want. Impure stuff.
self-bumping environment (counter is implicit in the state); add self-references to vars when first initialized. In order to do this I had to also change walk to recognize self-cycles. Occur's Check doesn't care if variables are equivalent now in the case of a non-pair. changed reify-var0 to use a state without a counter.
added a couple tests to the miniKanren test suite
added member*? to check if multiple things are in a list.
minor commit; cleaned up some code
added some miniKanren programs to test
minor commit, added constraint store and domain knowledge to variables. Closes #1
add numbers.rkt to repo
minor commit. remove tests.rkt