Add OR, XOR, AND, ADD, SUB, MUL. Improve type checking.