Typeable instances for signed and unsigned integer types. The reason for having these in a separate module is that it might be desired to have these instances with other type representations.

For example, instead of the instance

(IntWordType :<: t) => Typeable t Int8

one might want to have

Typeable MyTypeRep Int8