arithmetic operators validate dshape