I think what is needed is a statically typed systems-integration language. Problems are caused when there is nothing to "type-check" that the values you write into config-files are references of objects of correct type.
Static typing would also support editors that let you choose from allowed values.
Static typing would also support editors that let you choose from allowed values.
Maybe such a language exists? If not, why not?