type ThermalConductivityModel = enumeration(TC0 "TC0 model (hardcoded)", TC1 "TC1 model", TC2 "TC2 model");