Document argument types.
Centralize iterator construction.

In preparation for adding freelist.