Several diagnostic improvements Reviewed-by: jjg
Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor Reviewed-by: jjg, darcy