This package contains the classes used for the creation of the type constraint model.