Explorations of Continuation-Passing Style in miniKanren