Unified reificiation of equals and not equals.
Move to Java 7 like the Choco library.
Use stronger constraints for references.
Fixed test.