Type inference Packages