Typecheck Packages