Rename Supply.for -> from-list

Main reason for this, is that after the GLR, the .for method will have a very
different meaning in general.  To avoid a conceptual clash, a rename felt
warranted.

Also itemize "from-list" and "interval" for clarity.