Additions to prelude

Annotated '>>' with some facts about the output; other minor additions.