testdata fixed
new inference: lambda functional type detection
new inferencve: do not apply substitution twice for additional constraints
new inference: method refs: do not include containing class type params in inference