Further implement print of values, and equality

* Print reference values by using Obj.magic to get the hardware address
  (or whatever).
* Implement equality between pointers by using OCaml's "r1 == r2" where
  r1, r2 are references.
* "E != E" is implemented by using a clever hack!

The implementation for "E != E" was the same as "E == E"!