type inferencer from the rKanren paper (missing disequality)