Continue to integrate reducibles. But..

A quick test shows a HUGE slowdown. Not sure whether that's the builder or the
new typeclass. I'll try without the builder.