lrm: update to Clojure-style comments, from OCaml-style
lrm: add a Syntactic Structure section