That would be great, but unfortunately the structure of problems that are well suited to proof of work (hard to compute but easy to verify in a decentralized way) doesn't seem to have too many practical applications.
Yes, but how many of them are distributable in the way required by the constraints of mining? (I really hope I'm wrong and would love to see a counterexample of "constructive" mining!)