article: clean up references to code variable names:  surround with \verb+...+; remove references to no-longer existent Plus type class