A simple notion of file paths.
This is used both for the concrete syntax notion of file sets and for the abstract syntax notion of translation unit ensembles. Both entities are finite maps whose keys are file paths, so the notion of file path is common to the two.