Track source locations in constraints.

For better errors.