Type checking Packages