Chnage value of zero in monoidic float; make monoidicType struct

Author: dpanfilyonok

src/GraphBLAS-sharp/AlgebraicStructures.fs

@@ -38,6 +38,7 @@ type ISemiring<'a> =
 // => можно сделать специальный статик коснтруктор для инстансов
 // (если так делать, то уже не получится оставить его генерик типом)
 // (можно в конструктор передавать проверку на ноль первым параметром, тогда норм)
+[<Struct>]
 type MonoidicType<'a> =
     | Just of 'a
     | Zero

src/GraphBLAS-sharp/Predefined/Monoids/Add.fs

@@ -47,7 +47,7 @@ module Add =
 
     let monoidicFloat =
         { new IMonoid<MonoidicType<float>> with
-            member this.Zero = Just 0.
+            member this.Zero = Zero
             member this.Plus =
                 <@
                     fun x y ->