created LaTeX document
merge of old usingHoTT.tex with new usingDiSimplexTheory paper