Finished implementation of lazy nats with lazy lists as numbers