Functor.Equality -> Functor.Paths
Rename things mentioning equality in Functor.Paths

It's called paths now, not eq.