ToString and Equals

Implementation of equals satisfies: a.equals(b) iff all fields in a and
b are equal.
Implementation of toString lists variables and values, space separated.