exact: Add predicate irreducibility testing

The new code correctly determines that QuadrantA is reducible,
but we already new that.  All the mesh CSG predicates are irreducible.