IMHO this needs a new language that acts like VHDL or Verilog. Language level constructs that make contract writing possible.

I think Ethereum Smart Contracts are a good first step. It is independent of the blockchain concept though.