Split FilePath into DirPath and FilePath

My assessment is that we very rarely need to do that. In most of the things we do we are in a given context: repo, store, working directory. This is where you start using FilePaths/DirPaths.