Support different integer sizes

[hgruniaux]

All is in the title.

We should support at least 8-bits, 16-bits, 32-bits and 64-bits integers. A first step is probably to introduce a new integer type for each of the different sizes.

Warning: On x86-64, the different registers may overlap (eax and rax have the same low 32-bits, etc.).