Typechecking Packages