Soft adoption of abstract/final pattern

[ricardoV94]

https://docs.kidger.site/equinox/pattern/

This actually comes up in a lot of places during rewrites, where subclassing Ops we also instantiate means we sometimes get "false positives", we identify a pattern that shouldn't actually be applied to a subclass of another Op.