This package contains the classes for the calculation of access sets and new types based on the type constraint model.