Simpler Semigroup instance for InsideLam and InterestingCtxt
Simpler Semigroup instance for InsideLam and InterestingCtxt

This mirrors the definition of `(&&)` and `(||)` now, relieving the
Simplifier of a marginal amount of pressure.

sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc