Macro impl_axiom 

macro_rules! impl_axiom {
    ($type:ident, Associativity) => { ... };
    ($type:ident, Commutativity) => { ... };
    ($type:ident, Identity($($identity:expr),*)) => { ... };
    ($type:ident, Distributivity) => { ... };
}