Macro record

macro_rules! record {
    { $($id:tt : $ty:expr);* $(;)? } => { ... };
}

Construct a record type, e.g., record!{ label: Nat::ty(); 42: String::ty() }.