Reorganize layers to introduce the translation workflow right at the start. We also avoid duplicating parsing code. Programs are always parsed into the `program` data structure.
Fix a few more typos in example programs.
We'll see if this is useful. Mostly just stretching our legs.