since expressions cannot tell when to use "iota" and when to just leave ".." then forget about iota. Use it explicitly
the ".." range operator is now called as such
use "colon_state" where possible