Some failing resolver tests

involving overload resolution and implicitly typed lambdas