Types within GIANA