If you could declare a sufficiently advanced Lua script, that would negate all incompatibilities while still allowing complex blockers to function.
Why hasn’t the blocker community proposed such yet? It seems like it’s the missing piece: How little scripting capabilities are necessary, etc.
If you had MATCH expressions, CASE statements, and $1/$2/... capturing backreferences, would any of this even be a problem?