Gas-cooled reactor types