Merge branch 'cancel'
Merge branch 'prod'
Merge branch 'sigma'
Merge branch 'upstream'
Merge branch 'upstream'
Merge branch 'hset'
Merge branch 'upstream'
isequiv_functor_forall
Define projT2_path in terms of things we know.
types/Forall: basically done, I think.
Merge pull request #82 from mikeshulman/forall

types/Forall
fix a problem with that last pull request
types/Paths: basically finished
Merge pull request #81 from mikeshulman/pr2path

Define projT2_path in terms of things we know.
Merge pull request #83 from mikeshulman/paths

types/Paths: basically finished