Update the synopsis and comments with the results of LWG #2255. No code to back it up at the moment; just comments