Major API upgrades, adding AIRs, transitive closure, and code cleanups.