Types:
PsiField:f : java.util.List<java.lang.Integer>
PsiMethodCallExpression:f.add("val") : boolean
PsiReferenceExpression:f : java.util.List<java.lang.Integer>

Conversions:
f.add("val") -> $

New expression type changes:
Fails:
"val"->java.lang.Integer