remove Integral constraint from pdivMod, pdiv and pmod
fix error message of Data.Sign module
add Lattice instances for Set Sign
remove trailing junks from *.cnf files