Added Semigroup[A @@ minVal] and Semigroup[A @@ MaxVal] for A: Order

Any Ordered type `A` gives rise to two `Semigroups` (implicitly available from the `Order` module):

```scala
Semigroup[A @@ MinVal]
Semigroup[A @@ MaxVal]
```

Examples:

```scala
forall[A : Order] (nel: NonEmptyList[A]) => (nel map MinVal).suml1 === nel.minimum1
forall[A : Order] (nel: NonEmptyList[A]) => (nel map MaxVal).suml1 === nel.maximum1
```