talk about coherence separately

> Trait resolution consists of three major parts:
>
> - [..] 
> - **Coherence**: The coherence checks are intended to ensure that there
  are never overlapping impls, where two impls could be used with
  equal precedence.

we should move this doc to a separate file. Coherence is not really a part of trait resolution.