Added foldMapRebuildTree transformer, and minor effect code cleanup.
Added program effect normalization