Made it to where more useful info is printed on a difference

Before it would just show the value type, which wasn't very interesting.
Now it will print the literal value underneath.  Also, it will
essentially do a trace of the differences by first printing an error
about the most specific spot and going up from there, eventually saying
that there is a complete difference between the two things.