Make Constraint a first-class citizen.