Reorganize documentation for -> form in TR

Put examples next to relevant prose, add more examples,
and add more cross-references.