[VAST] `ExternPackageType` & tighten space invariants.#1720

Merged

copybara-service[bot] merged 2 commits intogoogle:mainfrom xlsynth:cdleary/2024-11-14-vast-constructs

Nov 18, 2024

+339-43

Commits on Nov 15, 2024