No =destroy hook(s) in std/tables?

[PMunch]

You don't. The table, once it is no longer referenced by anything, will destroy 
itself and call the destructors for all the elements in it. So in this case you 
don't need to write a `=destroy` hook at all for `AObj`.