imported minikanren from Sept. 18 2013 (with eigens)
cloned from Strange-Loop-2014/mk