document \arg command
document use of \args in definition of \Atom
split fol/syn/syntax.tex into smaller sections