doc/syntax.tex: Add property definitions to module syntax.