Paths and Files
We think of a Path type and a File type as two different concepts. Both need to be expressed in a way that allows us to reason about them.
What information to encode on path level?
Is the path absolute?
Important for thread safety. No real drawbacks. Should always be encoded.