add nonpositive/nonnegative handling to Pow
fix test of evalf in facts
add I**im handling to assumptions
more general forms of tests and exp(i) and log(exp(i)) handling
add additional handling to old assumptions
make Abs args canonical wrt sign
add symbolic mod handling so Mod(4*integer, 4) == 0
add Examples text to docstring