implement deriving for TotalEq

[thestinger]

I'm working on this.

[huonw]

Hey, @apasel422, I've got a fairly large refactoring of the deriving code almost complete (it makes implementations of TotalEq etc a few tens of lines, which is pretty nice, I guess).

Oh wow. Looking forward to that! I'll back off then.