Complete section in Basics about preliminary definitions.
Add syntax of sequential control-flow models of programs.