alphaKanren-revisited A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren TODOs: occurs check before extending the substitution reifier for the alpha-eq constraints