coolant-cooled reactor Synonyms