SaveEfg[efg->EFG, file->TEXT] =: EFG
SaveEfg writes efg to an external savefile file. It is an error if file cannot be opened for writing. Returns efg.
LoadEfg.