Types within FIDIA