Type inference from static method calls

[vemv]

For e.g. (.| (Thread/currentThread)), we could observe that (Thread/currentThread) returns a Thread, and therefore the completions can be constrained to those of the members of Thread.

I don't have a preliminary idea as for how to implement this.

(Orchard has plenty of Java analysis utils)