Well why not start somewhere, create axiomatic TOS for example and proceed with contracts between companies.

There has to be academic groundwork to build something like that, a mixture of CS and law. Maybe some students at a law faculty could create a project together with a few CS students just to get the stone rolling.

A programming language to describe who is responsible for cleaning the flat.