added ProblemReporter infrastructure
improved(?) multiple problem reporting
why shouldn't parameters be allowd to be unused?