Renamings

Various renamings. Namely, renaming of object properties in order to
mention range class explicitely into the name (remains to be done for
"involves" and child object properties).