The sort describing a file is file.
Files containing a specific type of data have sort file(dataType:𝕊), with file(s:𝕊) ⊆ file.