Adding type verification between boolean and arithmetic operators