replace full-width space with half-width space
fix a bug of SignSet arithmetic
define arithmetic over sign sets in Data.Sign module