add section on overlap checks

[jdonszelmann]

Added a section on overlap checks after talking with @lcnr

[jdonszelmann]

I didn't know too much more to say specifically on the orphan check, maybe that's not needed as much either. However, I did put it in the broader context of coherence checking (and it's now moved under type checking)