Cross-references in code

[dra27]

Various places in doc comments where a cross-reference is embedded in code (e.g. Monad.(>>=)). It's a little ugly, but the cross-reference has to be hoisted out of the code block (cf. Monad.map).