Convert Google Auto value to records

[timtebeek]

Came across this trade-off and migration analysis for Google auto value versus Java records: https://github.com/google/auto/blob/main/value/userguide/records.md#translating-an-autovalue-class-into-a-record

Interesting analysis, and already reads like a migration recipe with the before and after samples, as well as edge cases when not to convert just yet.

Thought it might be interesting to write a migration recipe for, or at least gauge interest here. We could even reach out for a contribution or collaboration.