Don't error when folding a non-constant identifier when iota is negative.
Add more fold tests.