remove OverlappingInstances, IncoherentInstances

Remove extensions OverlappingInstances and IncoherentInstances where
they have become unnecessary (due to the use of closed type families).