I mean that currently it's just not realistic. But given some flavors of upgrade, a lot is possible. E.g. Jason aims specifically for PMs with inductive proofs. (link follows)
Contract validated tokens are really useful in many scenarios. I was thinking about it as a layer 2 solution for SLP, since in that case it canbe fully democrstized and turing complete