Predicate, Equivalence derive via a->All and a->a->All,

Derive Semigroup and Monoid for Predicate a and Equivalence a via a->All and a->a->All respectively.

Add instance signatures.