make Abs args canonical wrt sign
add symbolic mod handling so Mod(4*integer, 4) == 0
3i/2 % 1 -> i/2
modify hyperexpand mod1 function