Impemented type checking for addOp, mulOp and relationalOp