Hy on Adderall - a miniKanren implementation in Hy