Static type check Packages