Another Jane Street comment test, in 'match', and ">>= (fun -> fun)" tweaks

Here are a few more small refinements we propose.  What do you think?  Thanks!