Traceability and Fine-Grained Constraints in Interactive Inconsistency Management