Packages are modeled as a set of separately-compilable Slices