.. Explanation of the 'type this' indicator.

We place the ``--- T Y P E ---`` symbol at the start of game fragments
which you can type in as a part of our working examples.  This
differentiates them from other code snippets whose only purpose is to
illustrate some particular feature.