Make error messages generated during Check.checkType more uniform and more scalable Reviewed-by: jjg, dlsmith
Overload resolution routine should be updated so that it can be called recursively Reviewed-by: jjg, dlsmith