add minikanren
wip rtlcato
it runs backwards!