That's pretty much the quibble. Most people's narrow view of type system.

And we already track all of the basic side-effects and clobbering that each form of each mnemonic does. That's kind of the entire point of this being possible: it's all "typed".