Un-classifying `exact`

Stream: maths

[Markus Himmel]

Is anyone attached to the fact that category_theory.exact is a class? Looking at the way it's used in mathlib, to me it looks like it does more harm than good, so I'm considering downgrading it to a structure.