corrected Abs toString method for term
Added ALPHA_CONV unit test
added basic_rewrites mutable just after theorems evaluation
Added two term_match unit tests