Add expanded version of "Homotopical Patch Theory".
Merge pull request #14 from yallop/homotopy-extended

Add expanded version of "Homotopical Patch Theory".