Improve `Filesystem` and `File`s traits

Currently, the `FileSystem`, `File`, `Directory`, ... traits does not all support all basic write operations: it is necessary to add

- add/remove a file in a directory;
- set the stored path in a symbolic link;
- truncate a regular file;
- copy/move/rename a file;
- set file's permissions;
- ...