fast-nats-0.1.0.1: Natural Numbers with no overhead

Dependent Singleton like natural numbers without the Singleton dependency. The implementation uses inductive naturals at the type level but machine integers at the term level.