Contains types for the representation of constraint locations.