Changed again the definition of signal.
Corrected problems with SpecialInt

Sign extension problems in some functions
Problem with Unboxed instances.