MIR: Boolean operations

Let's add support for the remaining boolean operations:

Boolean operations

@Martoon

• AND: bool : bool : A — bool : A
• AND: nat : nat : A — nat : A
• AND: int : nat : A — nat : A
• AND: bytes : bytes : A — bytes : A
• NOT: bool : A — bool : A
• NOT: nat : A — int : A
• NOT: int : A — int : A
• NOT: bytes : A — bytes : A
• OR: bool : bool : A — bool : A
• OR: nat : nat : A — nat : A
• OR: bytes : bytes : A — bytes : A
• XOR: bool : bool : A — bool : A
• XOR: nat : nat : A — nat : A
• XOR: bytes : bytes : A — bytes : A