Add name and size properties to File type