Marker trait for expression nodes whose children may receive per-element algorithm passes (derive, simplify, expand, integrate).
An algorithm may distribute over children and rebuild the same shape only when this trait is present and the distribution is mathematically valid for all such algorithms. Linear containers qualify; product-like nodes that require product rules must not be marked. Lives in core so domain packages can opt in without creating a cross-domain import.
