Do rules both before and after [skip ci]

Before iff there is an active unfolding.  But always after.
Consider not doing after if before fails.  Typically if the
rule applies the unfolding is inactive

Goal (in T24984)
   augment f (augment g (augment h (build k)))
   -->
   augment f (augment g (build..))
   -->
   augment f (build..)
   -->
   augment f (build..)
Want to do this in one pass.

Work in progress