use cons/car/cdr rather than Python lists
more tests from original microKanren (with tweaks to make them work)