bootstrap miniKanren and TRS (The Reasoned Schemer)