Type-level natural numbers in Rust