Function mz_transform::normalize

pub fn normalize() -> Fixpoint

Construct a normalizing transform that runs transforms that normalize the structure of the tree until a fixpoint.

Care needs to be taken to ensure that the fixpoint converges for every possible input tree. If this is not the case, there are two possibilities:

1. The rewrite loop runs enters an oscillating cycle.
2. The expression grows without bound.