Make Refutation a Monoid

So that when I start using Alternative, the errors can be interesting...