add additional handling to old assumptions
add Examples text to docstring and shorten line
make Abs args canonical wrt sign
add symbolic mod handling so Mod(4*integer, 4) == 0
watch for TypeError raised when the list is unsortable