Add interop package to exported packages.
Fix tests.
Merge branch 'master-working-2' into import-transitive-closure