Migrate from @lombok.Value to Java records

[timtebeek]

Convert the simplest cases of Lombok value classes into Java Records.
Narrowly scoped initially, as there's a lot of sometimes experimental Lombok annotations that can complicate matters.

Initial classes should:

• not have any other Lombok annotations
• not have any fields with Lombok annotations
• not have an explicit constructor
• not have explicit methods
• not use generics

The conversion should:

• create a record with the same fields, in the same order
• replace any class getter calls with record accessor calls
• remove the lombok.Value annotation & import

The conversion could;

• have a parameter to create an exact .toString() replacement

Ideally, given the limited scope, the implementation should not suffer from a lack of Lombok support in the parser. A one-to-one replacement for these simplest of cases should mostly behave the same, with the exception of the .toString() method by default.

Similar to #116 & #124.