Macro kinder::monoid_num

macro_rules! monoid_num {
    ($t:ident, $z:expr) => { ... };
}

A macro to implement monoid for numeric semigroups