I brainstormed a bit about adding meta-operators to guarded-rewriting last night.<div><br></div><div>Are any of the package&#39;s authors/maintainers interested in discussing these ideas further?</div><div><br></div><div>If so — who would it be appropriate to chat with?</div>

<div><br></div><div>Thanks.</div>