Added more verbose logging of typeclass module's syntax errors.