Types within AGNATI/FOSBER