Use more limited types for instruction's fields

Instead of using Word16 for a value with a maximum of 12 bits, we use
the Word12 type from the OddWord package. This also applies to Word8 ->
Word4.