This package contains three subpackages for three calculation steps of Infer Type:

Classes in this package are general-purpose used by all three subpackages.