Eliminating begin

Eliminating set!

Is it really possible to eliminate set!?

It is possible, but through a global program transformation that threads a
store throughout the program.

In general, however, we would not go this far.

The transformations thus far will not necessarily impact
efficiency; a store-passing transformation obscures reasoning
about the program and will likely cost efficiency
for either interpretation or compilation.