Widening only happens automatically for signed integers.
Implements type checking for jump instructions.