A small attempt at encoding logical frameworks in minikanren.

wip. macro is not hygenic.