Added ElemPath.elementNameOption, and made indexed.Elem.resolvedName more efficient
Clarified and further tested Elem.notUndeclaringPrefixes