Core classes of the internal model used for representing constraints and related metadata.