Add syntax sections; add clarifications; fix typos