[Ada] Ada_2020: ongoing work for aggregates for bounded containers