Flesh out the echo/foxtrot/golf packages

[jennybc]

In the "package within" chapter, make all of the package states concrete. This doesn't affect the text of the book, so I can fill this in later. But it would be nice, if someone visited these files, to find explicit realizations of all of these versions of the example package.