Type inference of nested where clauses should favor for-bound variables over strings for type inference purposes

[wisnesky]

This is legit ('e' is a String and name : Project -> String), but confusing:

query Q = literal : S -> T { entity Emp_proj_cost -> {from p:Project attributes cost_per_proj -> from e:Employee where p.name = e return salary(e) aggregate 0 lambda arg1 arg2. plus(arg1,arg2) } }