I'm slowly coming around to the following roadmap:
1. Simplified CTV for whole-tx commitments (ie you *will* spend this output using a tx which exactly like X.
2. Optimised sponsors for solving the "but how do I add fees" problem in a way that doesn't drive miner centralisation.
3. Script restoration so we can don't have arbitrary limits on things like amount arithmetic and examination sizes.
4. Introspection opcode(s) so we can examine txs flexibly.
5. Script enhancements for things like merkle proofs (e.g Taproot trees) and tweaks, checksig.
You could argue that #1 is simply an optimisation of #3/#4, and that's true, but it's also an obvious case (once you have #2) that we will still want even when we have all the rest.
