Adds example config.lisp
It includes a usage of the deduction hook.
Updates TODO.