First exo-skeleton of the DBC.

It is mostly a retranscript of the ContratException we've been taught.