new inference: accept methods in lambda return statement as poly without additional checks
new inference: temp: ignore inferred Object at first stage
new inference: reject explicitly typed lambda as pertinent to applicability if its return statements are poly