Codifying Contract Law