fix in balanced_int rewrite system
a few default options
in hysteresis, translation of terms, and some axioms