Add warnings for redundant context elements

Consider the context (Eq a, Ord a) =>. Here, the element Eq a is redundant because Ord a already implies it. The warn check should be extended in a way that there will be warnings for such redundant context elements.