More work on the basic syntax of our language.