Fixed the nrev example, added nrev for lists

Turned out nrev for peano numbers works (but takes about a minute).
nrev for lists seems too difficult yet.