Add discretionary comments.  This is not general-purpose, but specific to the repl situation we need for Whalesong.