BandedMatrix operator +