Merge pull request #91 from mikeshulman/arrow

types/Arrow.v
Added EquivalenceVarieties.V to HoTT.v.  Fixes #93.
Fixed typo + minor error in documentation.
Expanded the [apD10_xxx] family, i.e. commutation of [apD10] with other operations on paths.
Merge branch 'upstream'