Non-negative integer types

language design
27

I have experimentally used it with time, but nothing that was ever committed or published.