Generalize some results in monalg to nmodType and semiRingType#83
Merged
Generalize some results in monalg to nmodType and semiRingType#83
nmodType and semiRingType#83