Playing with meta-interpreters in miniKanren