The space after separator in Print.sequence is optional.
Added further UTF8 symbols.
Moved tests to UTF8.
Non-poly type variables infect the whole skeleton.
Temporarily disabled simplification.
Only necessary dirt is shown.
Dirt parameters are printed with different functions.
Positive dirt is displayed as union of predecessors.
Minor cleanup.
Negative dirt-parameters are printed first.
Only non-empty constraints are displayed.
Dumbed down type & dirt constraints.
Merge branch 'feature/clean-output' into develop
Added Common.assoc_flatten.
Added region_bounds to Constraints.t
Region bounds are now kept in Constraints.region_bounds.
Removed bounds from Graph.
Merge branch 'feature/separate-bounds' into develop
Revamped Constraint.print
Removed Constraints.topological_sort.