File Types

(Using different types of files in NeXtMidas.)