Guard against bad indexes in updating
Add new control structure macro

Simplifies updating an immutable collection by iterating over a sequence
of values
Use new control-flow macro