removed that old junk
placed pdisj stuff into microkanren and pconde into minikanren