Improve Synopsis example

As suggested by Markus Triska, "This advertises a more declarative
coding style and makes better use of the toplevel, which automatically
prints the solution for you."