Value: compact dirty state / add Value::hasDirty