A non-macro typesafe representation of config keys (keypath, type, default)

A non-macro typesafe representation of config keys (keypath, type, default).

Such keys should be internal to the module reading the configuration. Should not be public, because the callers might not be aware of additional nesting done by the module.

Would this be valuable?

The issue names no files, tests, or entry points to begin with. First inspect how configuration keys are currently represented and read, then clarify the proposed internal keypath, type, and default design; the work is done when the project agrees on and implements a non-macro typesafe representation.

Written by the indexing model from the issue text.