[Hs-Generics] adding meta-operators to guarded-rewriting

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? If so — who would it be appropriate to chat with? Thanks.