doc/syntax.tex: Refactor the <class-definition> syntax.