Added cons to miniKanren, appendo added to test cases in main