Add semigroup instance.
Version bump for new instance.