gas-cooled reactor Synonyms