add sumOption to EventuallySemiGroup