Refactoring: Rewrite of equivalences and orderings. Extraction of element iterator functions. Adaption of related tests. Stable{msvc-9.0, gcc-3.4.4}