> Opcodes and values can be combined to yield a vast array of possible contracts, just like any programming language.

It's not Turing-complete and doesn't even have loops (or goto to provide an alternative). Definitely not "like any programming language", you could as well try to use Brainfuck (which is, BTW, Turing-complete).