Comment by ranchpredictor

Alot of what they suggest seem to be better solved in the domain of compilers and microcode translation on the fly.