Types within THERMAL DYNAMICS