Enumeration defining the type of a file
type FileType = enumeration(NoFile "No file exists", RegularFile "Regular file", Directory "Directory", SpecialFile "Special file (pipe, FIFO, device, etc.)");