[mannykannot]

>they will of course prefer to use popular, tested, verified implementations of these basic contract types.

That worked out so well with the DAO. There was, of course, at least one person who did take the trouble to do his own investigation of its security ;-)

Perhaps you could point us to some verified implementations of these basic contract types (together with the arguments for their veracity, of course.)