Equality and hashing defaults

[eelstork]

Desirable because poorly implemented Equals() leads to solvers exceeding maxIter and/or maxNodes, negatively impacting dev workflow. One possible route is via structs, but this implies a design effort (mutable structs are probably a poor choice; readonly structs will have restrictions impacting action design. As an alternative, consider providing generic equality and hashing