turned on error reporting in typeclasses

Flipped a switch that turns on error printing during typeclass semantic analysis, this would have been useful to me several times in the past. As far as I can tell this does not cause any additional tests to fail.