A common extension of idl types is the generation of relops for those types (at the very least == and !=).

We currently have free functions in the codebase which use both all fields, as well as limited subsets, so a code reducing implementation should probably support both of those modes.

An example syntax might look like:

1. For all fields
   equalityCompare: all
   lessThanCompare: all

1. For a subset
   equalityCompare: [a, c, b]
   lessThanCompare: [a, c, b]

naming things is hard, but mimicking C++ standard concepts might be a good start