Added a helper function "of_option" to the Data_common module.
Refactoring continues: cleaned up a little the constraint generation types etc.
Changed how the variables are printed (in module String_of).