new inference: wildcard bounds could mention type vars
new inference: incomplete exprs
new inference: fix subtyping direction
NPE