Is there such a thing as a “contract markup language”? It would have variables, conditional blocks, loops, some friendly versioning and text based sources.