Add expanded version of "Homotopical Patch Theory".