Added a new common module: Data_common_option.
Renamed the old function "of_option" of the Data_common_list module to "singleton_of_option".
Added a new function "of_list" to the Data_common_list module.
Refactoring continues: Moving the Load_model module towards a more modular form.