Setwise reduction

Makes it convenient to reduce setwise, which is useful if you want to e.g. filter. Straight-up maps are a special case of this.