Renaming "files" non-terminal to more general "operations".