Add 'Typeable' instance to Unsigned
do some CSE on 'resizeF'