singleton-nats

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.