Expand description

Code to solve constraints and write out the results. Constraint solving

The final phase iterates over the constraints, refining the variance for each inferred until a fixed point is reached. This will be the optimal solution to the constraints. The final variance for each inferred is then written into the variance_map in the tcx.