remove debug statements
fix in build_new.theory (type error!), reverse laws
that imply axioms from theories