`New` expression type argument inference

We've talked about inferring the type arguments of a type in a `New` expression based on the arguments to the constructor (which is straightforward). Also want to consider how we could do this given expressions in a collection initializer. This is much harder because it requires gathering candidate `Add` methods, but you can't do that without knowing the type being extended.