Type-checker Packages