add symbolic mod handling so Mod(4*integer, 4) == 0
modify hyperexpand mod1 function