Macro impl_axioms 

macro_rules! impl_axioms {
    ($type:ident, $($axiom:ident $(($($arg:expr),*))? ),*) => { ... };
}