>eventually introducing the instruction counter itself as a state variable.

If you're going to be talking about the IP register than you need to talk about the IR register. So we should avoid talking about registers by talking about registers?

You're not selling this registerless assembly very well.