File Types
(Using different types of files in NeXtMidas.)