Non-linear lazy-evaluation in ATS2

FYI.

As of now, non-linear lazy-evaluation is supported. Here is some code
implementing
Erathosthene’s famous sieve of primes:

Cheers!