This adds a new type, FileList, to manage another new type (File). File contains the mapping of source --> dest for a file or directory.