There is no need really - there will be things like aspects, dot-notation for inout first parameter, if and case expressions, protected-types, etc.

I could get into something called "co-extensions" which have existed in the language standard from 2005 I believe and allowed for access discriminants to be tracked and automatically freed, and I think this would solve the remaining gap - NOTE GNAT does not implement this and actually whiffs a bit on the ACATS last I checked