We illustrate the extensibility by adding support for iterative computations.
Lift proposes an !iterate! primitive, that repeatedly applies a function to an array, passing the output of one iteration as the input of the next.
This can be used to describe tree-based reductions and similar iterative algorithms [1]}.
