I asked him that yesterday he says not yet, but I started implementing it myself on my bitcoin script interpreter: https://github.com/jb55/btcs although there is not much code there either since I’m still writing it.

His proposal also came with the idea of fixing script integers to use variable length for OP_MUL, etc. he had a book on variable length integer arithmetic so i am getting nerd sniped a bit going down that rabbit hole