Efficiently finds shapes that are affected by a change, specifically for a particular operation in where clause.

Each type of operation that has been optimised such as = or @> will have it's own index module that implements the Protocol for this module.