Added Constraint and Solution data types to Utils, modified solver to use them.

Please use them too!