Refuse option definitions which duplicate a name/space

Today it is allowed to define two options in the same space and with the same name because duplicates are checked only for code (already existing definition with the same code or conflicts with a standard option definition still with the same code).