more changes for protocols move

need to import protocols in clojure.core.logic.arithmetic. remove some
old debug code from bench.clj