Parametrized the solve objective (single and multi) types from the module Data_constraint.
Added a new module which facilitates measuring different aspects of a configuration.