Add instances for various containers

Importantly, this includes sets, which are pretty much the
quintessential idempotent monoids.
Test two more properties of the extrema
Bump version number