Rewrite introduction, fix for code changes.

Rewrote the introduction. Fixed it for changes to examples. We now
require that the user uses `step` to define a main cadence.