Added type checking of binary operations on pointers