fixed bug in contains. simplified Extent's Semigroup instance