new inference: mark unresolved calls as poly expressions
new inference: postpone resolve as long as possible
new inference: ignore inferred wildcards in return position