isequiv_functor_forall
types/Forall: basically done, I think.
Merge pull request #82 from mikeshulman/forall

types/Forall