Getting closer to a better linear typed constraint solver.