Minor restructuring.

Moved the stream-attribute functions for the List-type into a nested
package in the private section of the specification; made the body
separate; made the bodies of the functions themselves separate.