semantic: Handle storage arrays in binary ops.