better integration with original minikanren
adding memo.scm to test left-recursion elimination
updated with comments