Added EquivalenceVarieties.V to HoTT.v.  Fixes #93.