>To make a system sufficiently configurable, you end up having to re-invent a turing complete language inside it's configuration files, so it starts looking more like lisp.

You need dependency injection too, unless you're going to let people just smash the definitions of existing code.

A good demonstration of safe, powerful, and type-checked configurability is Xmonad.

http://xmonad.org/