Make error messages generated during Check.checkType more uniform and more scalable Reviewed-by: jjg, dlsmith