Use [apply path_forall], not [apply funext]
Merge pull request #400 from JasonGross/more-path-forall

Use [apply path_forall], not [apply funext]