This package contains the type constraint model used for Infer Type. Based on this model the access sets and the new types to be used will be calculated.