Make the inverse of functor_forall transparent
Merge pull request #313 from JasonGross/isequiv-functor-forall-transparent

Make the inverse of functor_forall transparent