Type-checking Packages