Remove [apply fs] and [apply ua]

Use [apply path_forall] and [apply path_universe_uncurried] instead.
It's better practice to not name the instance when we don't have to.
Merge pull request #405 from JasonGross/remove-apply-fs-ua

Remove [apply fs] and [apply ua]
./autogen.sh