toString and logging improvements
Simplify chains to be non-empty again
Remove unneeded 'unique' feature on CachedSatisfaction
Add Dependency type and use it for edges
Move fixedness to the dependencies, not satisfactions