Docs: Dependency Injection section

[raulraja]

We need docs explaining how we automatically add default implicit instances for all @free and @module definitions and how that enables dependency Injection. This section should also use a couple of basic examples on how you can achieve alternative runtime based DI via the Reader effect