MIR: Arithmetic operations

Let's add support for the remaining arithmetic operations:

• ABS: int : A — nat : A !11299 (merged)
• ADD: timestamp : int : A — timestamp : A !12192 (merged)
• ADD: int : timestamp : A — timestamp : A !12192 (merged)
• BYTES: int : A — bytes : A !11299 (merged)
• BYTES: nat : A — bytes : A !11299 (merged)
• EDIV: nat : nat : A — option ( pair nat nat ) : A !12192 (merged)
• EDIV: nat : int : A — option ( pair int nat ) : A !12192 (merged)
• EDIV: int : nat : A — option ( pair int nat ) : A !12192 (merged)
• EDIV: int : int : A — option ( pair int nat ) : A !12192 (merged)
• EDIV: mutez : nat : A — option ( pair mutez mutez ) : A !12192 (merged)
• EDIV: mutez : mutez : A — option ( pair nat mutez ) : A !12192 (merged)
• EQ: int : A — bool : A !10604 (merged)
• GE: int : A — bool : A !11299 (merged)
• INT: bytes : A — int : A !11299 (merged)
• ISNAT: int : A — option nat : A !11299 (merged)
• LE: int : A — bool : A !10604 (merged)
• LSL: nat : nat : A — nat : A !12192 (merged)
• LSL: bytes : nat : A — bytes : A !12192 (merged)
• LSR: nat : nat : A — nat : A !12192 (merged)
• LSR: bytes : nat : A — bytes : A !12192 (merged)
• LT: int : A — bool : A !11299 (merged)
• MUL: nat : nat : A — nat : A !11299 (merged)
• MUL: nat : int : A — int : A !11299 (merged)
• MUL: int : nat : A — int : A !11299 (merged)
• MUL: int : int : A — int : A !11299 (merged)
• MUL: mutez : nat : A — mutez : A !11299 (merged)
• MUL: nat : mutez : A — mutez : A !11299 (merged)
• NAT: bytes : A — nat : A !11299 (merged)
• NEG: nat : A — int : A !11299 (merged)
• NEG: int : A — int : A !11299 (merged)
• NEQ: int : A — bool : A !11299 (merged)
• SUB: nat : nat : A — int : A !12192 (merged)
• SUB: nat : int : A — int : A !12192 (merged)
• SUB: int : nat : A — int : A !12192 (merged)
• SUB: int : int : A — int : A !12192 (merged)
• SUB: timestamp : int : A — timestamp : A !12192 (merged)
• SUB: timestamp : timestamp : A — int : A !12192 (merged)
• SUB_MUTEZ: mutez : mutez : A — option mutez : A !11299 (merged)