Codify AbstractModelStatement's hashCode/equals/toString

We have a lot of statement implementations, some of which have a toString() method, but most are lacking it. Furthermore most of our statements use identity hashCode()/equals(), but some actually compare their state.

Codify these three methods by making them final in AbstractModelStatement, providing a reasonable toString() for all statement implementations as well as nailing down the fact we always use identity for comparisons.