Direct translation of CEK machine to miniKanren.

Has poor divergence behavior: (cons 5 ,x) -> (pair 6 ,y) diverges. This
is the starting point for our investigation.
Divergence behavior matching big step