[Tracking Issue] Formalize the semantics of partial updates

[yzh119]

Motivation

After format decomposition, many of the generated sparse iterations (or blocks after lowering) only perform partial updates: only some blocks need to initialize the output buffer with zeros.

Currently, SparseTIR does not have language constructs to describe the partial update semantics.

Solution

TBD