How can I do an unchecked_deallocation of abstract classes in Ada?

Question

I know Ada quite well but I‘m still struggling with OO in general and specifically in Ada. Thus, it may well be that I‘m simply missing a point.

Consider a data stru