Now Simplify should be able to handle negative exponents

One problem which still exists is that (t + (-t)) isn't simplified.
Some more tests for Simplify