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.