Add unreified typeclass simplification.
Add unreified typeclass simplification.

Not sure if it's actually faster than rewriting.

JasonGross/catdb,CategoricalData/catdb,CategoricalData/catdb,JasonGross/catdb