Type-strict Packages