Improve axiomatization of 'groove density' and 'groove density setting'

It seems best to add axioms that make the relations and thus destinctions between the classes clearer. These axioms should express that there exist a `diffraction grating device` which has a defining characteristic a `groove density`. And the `groove density setting` should get an axiom that states it to be a specification of a `groove density`.