Add object-exit handling to AIR.
Update DOAI a bit: Simplify dependencies on AIR.