Typed static queries

I'm opening this PR so we can discuss the current state of the implementation.
Config interface lacks a hasKey(_) function. It only has a hasPath(_) which is not what we want. Moreover the [docs](https://github.com/typesafehub/config#how-to-handle-defaults) recommend using try catch in special cases.