You mentioned type-specific allocation. Is that different from [Ada's memory pools](http://www.ada-auth.org/standards/12rm/html/RM-13-11.html)?
(If it is, then I think you should mention that, otherwise it looks bad merely to mention what looks like a weakness in Ada, and not mentioning what looks like a borrow from it.)
