Look at automatically generating ?==?, ?!=? for all structs

[pabuhr]

• Meaning would be recursive member-wise comparison.
• Would it require adding these two operators to otype constraints, or otherwise they could not be automatically generated for generic types.
• Need to consider if there are any complete types for which equality is not a meaningful concept, and if it would be harmful to generate these for those types.

[ajbeach]

There is also the default operator implementation proposal in the repository. It would handle this an a number of other operators that could be generated on request.