Improve documentation of the `(::)/1-2` and `(^^)/1` control constructs