sodium-cooled reactor Synonyms