Removed 'name' field and diverse getElementName() methods, replaced by getName() returning a string constant. A few minor cosmetic changes.