Fix and improve comments
shiftRightModFn(): don't call shiftLeftModFn() when numBits==32*(len-1), handle it directly
Rename some variables