Type-checks Packages