I brainstormed a bit about adding meta-operators to guarded-rewriting last night.

Are any of the package's authors/maintainers interested in discussing these ideas further?