doc/syntax.tex: Hoist `Properties' to section level and expand.