Fixed evaluation of exponentials
Fixed subs in Add
Fixed Inequalities
Fixed gcd_terms
Minor changes to tests
Changes to Mod