That’s very close to my list. It’s only a few characters but “final” takes up too much space. And I agree types on the right are easier to read.

Other than that I’m mainly looking for the reasons code generation is required today to go away.