Made 'Summary' a monoid and added an appropriate test