Add documentation and specs for the File class