Update explicit info strings in calls to `getter-with-setter`
|Reported by:||felix||Owned by:|
getter-with-setter allows passing an optional info string that is shown when printing a procedure. Currently these strings do not contain the module prefix, which is added for internally generated info strings.
For consistency, we should add the module-prefixes manually in uses of getter-with-setter.