Add section on conflicting superinterfaces

[natebosch]

Towards #562

Add a section discussing conflicting superinterfaces to the common problems document.

The issue discusses the restrictions around both consistent member signatures and consistent generics. An example is given only for the latter.