default record component getters should automatically get their component's name #314
Description
Since default record component getters aren't shown anymore, it can be annoying to name them because they aren't always referenced in the record that declares them.
Furthermore, since their name must always match their component field, they should automatically receive that name and not be manually renamable.
(I believe this will require a kind of internal-only dynamic proposer that ignores normal namability checks.)
The GUI should prevent naming them, and any names for them in mapping files should be dropped as invalid.
Alternatively, the GUI could "allow" naming them, but it would actually rename the component field. Special-casing that might be awkward though.