Changed some function names in the Data_model universe class.
Changed the order of fields in the Data_state.universe_constraints record.
Refactored the Constraint_generators to use named parameters.
Refactored the Constraint_of.universe function to use named parameters too.