Add class Constraint, Eq, Neq, And, Or.