Currently, we simply call `len` and raise in that way. Certainly arguments and
results for any IterativeProcess reducible to CanonicalForm must be
NamedTupleTypes; now simply making this check and raise more explicit.

PiperOrigin-RevId: 270051797