hopefully final (for now) cleanups to private string BufferedStringRep code