implement nats, Stream of natural numbers starting from 0