Refactored. More efficient implementation of protonic equality. Diverse clean ups. Stable {msvc-9.0, partly congcc-4.3-a7}