Constraint package:incipit-base

The kind of lifted constraints