macro_rules! name { ($s:expr) => { ... }; ($first:expr, $($rest:expr),+) => { ... }; }
Macro for creating simple string names.
let n = name!("Nat"); let m = name!("Nat", "add");