Perhaps guarded-rewriting is to be preferred?
Did anything ever come of this SVN repo? https://svn.science.uu.nl/repos/sci.jeuri101.libraries/Rewriting-multirec/trunk/ Is there a reason it didn't reach hackage?Thank you for your time.