Types within EDDYTHERM