Make error messages generated during Check.checkType more uniform and more scalable Reviewed-by: jjg, dlsmith
Add overload/inference debug diagnostics - added test harness using annotations to check outcome of overload resolution/inference Reviewed-by: jjg