Features/true monoids

Implements the following new functor:

(ℤ, max)^X

x: {x: 1, y: 3}
y: {x: 2, y: 2}
z: {x: -5, y: 3, z: 1}

bench/MA/Functors/BenchGroupValued.hs

@@ -2,7 +2,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 
-module MA.Functors.BenchMonoidValued (benchmarks) where
+module MA.Functors.BenchGroupValued (benchmarks) where
 
 import           Criterion
 
@@ -16,16 +16,16 @@ import           Control.Monad.State.Strict
 import           MA.Coalgebra.Parser
 import           MA.Coalgebra.Parser.Internal
 import           MA.Coalgebra.RefinementTypes
-import           MA.Functors.MonoidValued
+import           MA.Functors.GroupValued
 
 benchmarks :: Benchmark
-benchmarks = bgroup "MA.Functors.Monoid"
+benchmarks = bgroup "MA.Functors.Group"
   [ benchIntValued
   ]
 
 benchIntValued :: Benchmark
 benchIntValued = bgroup "IntValued" $
-  let f = MonoidValued @Int ()
+  let f = GroupValued @Int ()
   in
     [ benchParseMorphPoint "single successor" f "{x: 1}"
     , benchParseMorphPoint "ten successors" f "{x: 1, x: 2, x: 3, x: 4, x: 5, x: 6, x: 7, x: 8, x: 9, x: 10}"