* Minor adjustment of concrete syntax.
* Exercise.questions: New.