What about optionally adding exec pins to pure nodes?
Because in the end the only advantage of pure nodes is that they don’t have execution pins. And at the same time this can be one of their worst disadvantages. So let the developer decide what to use.
It would not introduce a new concept and it would not break any existing code.