Type-check Packages