High temperature gas cooled nuclear reactor