Qualify imports

Otherwise, types.Paths will clash with categories.Functor.Paths.  This
is probably good to do even if we end up renaming
categories.Functor.Paths.