Docker CI

Generalize some results in monalg to `nmodType` and `semiRingType` #250

Annotations

1 error and 10 warnings

The reference GRing.Nmodule_isLSemiModule.Build was not found

Notations "[ fset _ | _ : _ in _ ]" defined at level 0

Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments

Notations "[ fset _ | _ : _ in _ ]" defined at level 0

Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0