Types within AGIE