Types within THIABUT