I wonder what is the best approach here:
-
Rewriting EIP-1985 in a way that it addresses all the discussed limits on the protocol/state level and clarifies the EVM opcodes.
-
Creating a handful of independent EIPs for the protocol clarification (could be merged where it makes sense) to get them discussed and accepted quicker. Then once those go through, apply EIP-1985 only dealing with EVM, but depending on those protocol clarifications. One example of this approach is EIP-2681 for nonces.