refactor annotation.evm; move apps.base.write_file() to formats.base.write_file()