File typed values are a filesystem file entry.
- are mutable, i.e. making changes to a file results in the file being changed everywhere it's referenced
- can be passed in/out of ops via file parameters
- can be initialized via file initialization
- are coerced according to file coercion
File typed values can be constructed from a literal string or templated string; see string initialization.
File typed values are coercible to: