change to right associative operators

a documentation is a concatenation of documents, which is represented
using a `cons' operator.
small fix in documentation

[ci skip]