Avoid cascaded messages for bad parameters
Bogus conformance messages for bad parameters in the body are now suppressed in the case where the real problem is that the type was declared incorrectly in the spec, resulting in an error message posted in the spec.