Cleaned up forall feature section.

Merged forall and forallN into one section for the basic usage, and removed
the forall discussion in the tutorial introduction. We had three sections that
were nearly identical -- now just one.