An implementation of type level natural numbers along with some of their uses in Rust