It would be interesting if a program could define some new instructions by specifying the microcode :)

Though that might make context switches rather expensive.

And if you're going down that route, perhaps time to think about FPGAs.