new version of the settings system (simpler and better, less powerful though)
removed Option to InternalOption and now is undocumented
conclude the merge
fixed printing when setting debug