This package provides iteration and sequence forms inspired by Racket. Two major facilities are provided: 1. Generic iteration forms equivalent to `named-let' forms; 2. Generic sequence constructors that are both expanders and generators.